ESPRESO—A System for Process Control Software Specification

Espreso - a system for process control software specification

فرآیند کنترل در سیستم کامپیوتری تهویه مطبوع ‏‎airwasher environmental control system for intelligent buildings‎‏

در این پایان نامه با استفاده از تکنولوژی روز و امکانات داخل کشور طریقه اتوماسیون سیستم تاسیساتی یک کارخانه نساجی (کارخانه نساجی اطلس پود) همراه با منوهای مربوطه و توضیحات کامل برنامه نویسی و طراحی بلوک های برنامه و سایر قسمتهای برنامه ارائه گشته است. علاوه بر این، برنامه با نمونه آمریکایی آن مقایسه و مزیت های آن نسبت به آمریکایی توضیح داده شده است. همچنین تمامی بلوک های برنامه بصورت شماتیکی بطو...

Requirements Specification for Process-Control Systems

This paper describes an approach to writing requirements specifications for process-control systems, a specification language that supports this approach, and an example application of the approach and the language on an industrial aircraft collision avoidance system (TCAS 11). The example specification demonstrates 1) the practicality of writing a formal requirements specification for a comple...

Knowledge-based system for collaborative process specification

This paper presents an ontology-based approach for the design of a collaborative business process model (CBP). This CBP is considered as a specification of needs in order to build a collaboration information system (CIS) for a network of organisations. The study is a part of a model driven engineering approach of the CIS in a specific enterprise interoperability framework that will be summarise...

Software for Kinetic Process Simulation (RESEARCH NOTE)

The relationship between velocity of chemical reactions with activities or concentrations of their reactants, temperature and pressure and the mechanisms through which the reactions proceed are of interest to many scientists and engineers. The purpose of this article is to introduce a computer software that is developed for calculation, classification and collection of such data. The applicatio...